Primitive recursive function - PDFSEARCH.IO - Document Search Engine

Primitive recursive function
Results: 110

#	Item
71	PDF Document Add to Reading List Source URL: fortnow.com Language: English - Date: 2011-05-03 09:10:11 Theory of computation Computability theory Formal languages Recursion ACM SIGACT Symposium on Theory of Computing Finite-state machine Recursive language Primitive recursive function Applied mathematics Theoretical computer science Mathematics
72	NATIONAL ACADEMY OF SCIENCES JULIA BOWMAN ROBINSON 1919–1985 A Biographical Memoir by Add to Reading List Source URL: www.nasonline.org Language: English - Date: 2012-08-09 14:25:13 Mathematical logic Theoretical computer science Computable function Alfred Tarski Raphael M. Robinson Primitive recursive function Function Julia Robinson Numbering Computability theory Mathematics Theory of computation
73	14:440:127– Introduction to Computers for Engineers Notes for Lecture 13 Rutgers University, Spring[removed] Add to Reading List Source URL: www.blaseur.com Language: English - Date: 2011-02-14 16:06:37 Programming idioms Recursion Theory of computation Fibonacci number Function Factorial Tak Fixed-point combinator Primitive recursive function Mathematics Computability theory Functions and mappings
74	Symbolic Computation for Electronic Publishng Michael P. Barnett Department of Computer and Information Science, Brooklyn College of the City University of New York, Brooklyn, NY[removed]Internet: b a r n e t t e i t s . b Add to Reading List Source URL: www.tug.org Language: English - Date: 2011-10-16 21:02:52 Functions and mappings Computability theory Combinatory logic Lambda calculus Logic in computer science Function Big O notation Primitive recursive function Jan Willem Klop Mathematics Mathematical analysis Theoretical computer science
75	Symbolic Computation for Electronic Publishng Michael P. Barnett Department of Computer and Information Science, Brooklyn College of the City University of New York, Brooklyn, NY[removed]Internet: b a r n e t t e i t s . b Add to Reading List Source URL: tug.org Language: English - Date: 2011-10-16 21:02:52 Functions and mappings Computability theory Combinatory logic Lambda calculus Logic in computer science Function Big O notation Primitive recursive function Jan Willem Klop Mathematics Mathematical analysis Theoretical computer science
76	Recursive definitions are familiar in mathematics. For instance, the function f defined by f (0) = 1, f (1) = 1, f (x + 2) = f (x + 1) + f (x), gives the Fibonacci sequence: 1, 1, 2, 3, 5, 8, 13, . . . . (The study of di Add to Reading List Source URL: www.ctan.org Language: English - Date: 2013-12-20 19:14:22 Theoretical computer science Functions and mappings Recursion Theory of computation Primitive recursive function Function Μ-recursive function Course-of-values recursion Computability theory Mathematics Mathematical logic
77	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-10-26 09:56:23 Enumerative combinatorics Function Partially ordered set Inclusion–exclusion principle Primitive recursive function Filter Mathematics Order theory Functions and mappings
78	PDF Document Add to Reading List Source URL: ctan.org Language: English - Date: 2013-12-20 19:14:22 Theoretical computer science Functions and mappings Recursion Theory of computation Primitive recursive function Function Μ-recursive function Course-of-values recursion Computability theory Mathematics Mathematical logic
79	THE STRENGTH OF SOME COMBINATORIAL PRINCIPLES RELATED TO RAMSEY’S THEOREM FOR PAIRS DENIS R. HIRSCHFELDT, CARL G. JOCKUSCH, JR., BJØRN KJOS-HANSSEN, STEFFEN LEMPP, AND THEODORE A. SLAMAN Abstract. We study the reverse Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:55:43 Mathematics Theory of computation PA degree Computable function Reverse mathematics Model theory Forcing Combinatory logic Primitive recursive function Computability theory Mathematical logic Theoretical computer science
80	A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England 28 May 1998 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:49 Mathematical logic Computability theory Theoretical computer science Recursion Theory of computation Primitive recursive function Structural induction Recursive definition Coinduction Mathematics Computer programming Software engineering

UPDATE